A Better Uncle For OWL
نویسندگان
چکیده
We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like“variable nominal classes”within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV3(u,×) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.
منابع مشابه
Spatialization of the Semantic Web
syntax for Horn-like rules. The SWRL as the form, antecedentconsequent, where both antecedent and consequent are conjunctions of atoms written a1^ ... ^ an. Atoms in rules can be of the form C(x), P(x,y), Q(x,z), sameAs(x,y), differentFrom(x,y), or builtIn(pred, z1, , zn), where C is an OWL description, P is an OWL individual-valued property, Q is an OWL data-valued property, pred is a dataty...
متن کاملThe Introductory Essay: Richard Wright's Covert Challenging of Jim Crowism and Uncle Tomism
Richard Wright’s introductory essay to his collection of short stories Uncle Tom's Children describes hidden forms of resistance against Jim Crowism and Uncle Tomism. The essay entitled The Ethics of Living Jim Crow: An Autobiographical Sketch relates Wright’s daily confrontations with Jim Crowism with a particular emphasis on his evasive actions, and his covert activities, such as silence, pla...
متن کاملAn Executive Approach Based On the Production of Fuzzy Ontology Using the Semantic Web Rule Language Method (SWRL)
Today, the need to deal with ambiguous information in semantic web languages is increasing. Ontology is an important part of the W3C standards for the semantic web, used to define a conceptual standard vocabulary for the exchange of data between systems, the provision of reusable databases, and the facilitation of collaboration across multiple systems. However, classical ontology is not enough ...
متن کاملPR-OWL 2 RL - A Language for Scalable Uncertainty Reasoning on the Semantic Web information
Probabilistic OWL (PR-OWL) improves the Web Ontology Language (OWL) with the ability to treat uncertainty using Multi-Entity Bayesian Networks (MEBN). PR-OWL 2 presents a better integration with OWL and its underlying logic, allowing the creation of ontologies with probabilistic and deterministic parts. However, there are scalability problems since PR-OWL 2 is built upon OWL 2 DL which is a ver...
متن کاملAn Automated Transformation from OntoUML to OWL and SWRL
OntoUML and OWL are ontology languages appropriated to different knowledge representation levels. In order to have better knowledge representation and reasoning capabilities in OWL ontologies, an Ontology Engineering should be used – which corresponds to the transformation of a conceptual model ontology language, such as OntoUML, to a computational ontology language, such as OWL. This paper aim...
متن کامل